(0 7 3)(1 15 6)(2 17 13)(4 16 14)(5 10 8)(9 12 11)
ALLOWS (11/8)-SEQUENCE
1: (6 9 15)
(0 7 3)(1 15 12 11 9)(2 17 13)(4 16 14)(5 10 8)(6)
2: (5 10 8)
(0 7 3)(1 15 12 11 9)(2 17 13)(4 16 14)(5)(6)(8)(10)
3: (1 11 9)
(0 7 3)(1)(2 17 13)(4 16 14)(5)(6)(8)(9)(10)(11 15 12)
4: (4 16 14)
(0 7 3)(1)(2 17 13)(4)(5)(6)(8)(9)(10)(11 15 12)(14)(16)